and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
101	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:25 Theoretical computer science Model theory Models of computation Admissible rule Modal logic Lambda calculus Symbol Unification Support Mathematical logic Mathematics Logic
102	Department of Computer Science University of Bristol MSc in Machine Learning, Data Mining and High Perfo Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 08:05:18 Computer programming Cybernetics Formal sciences Markov models Learning Machine learning Programming language Algorithm Reinforcement learning Computing Cross-platform software Software engineering
103	Chapter 1 Semi-Explicit Parallel Programming in a Purely Functional Style: GpH Declarative programming languages can play an important role in the process of designing and implementing parallel systems. They bridge the g Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2008-04-14 04:42:28 Functional languages Procedural programming languages Models of computation Literate programming Haskell Parallel computing Lambda calculus Evaluation strategy Closure Software engineering Computing Computer programming
104	Characterising Effective Resource Analyses for Parallel and Distributed Coordination P. W. Trinder1 , M. I. Cole2 , H-W. Loidl1 , and G. J. Michaelson1 1 School of Mathematical and Computer Sciences, Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-04-06 09:34:25 Theoretical computer science Software engineering Parallel computing Parallel Random Access Machine Bulk synchronous parallel Distributed computing Programming language Kahn process networks Thread Models of computation Computing Concurrent computing
105	Simulating Large Scale Parallel Applications using Statistical Models for Sequential Execution Blocks Gengbin Zheng, Gagan Gupta, Eric Bohm, Isaac Dooley, and Laxmikant V. Kal´e Department of Computer Science University Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2011-05-01 22:22:50 Computer architecture Science Parallel computing Performance prediction Emulator Simulation Profiling Virtual Processor Virtualization Computing Software optimization Computer programming
106	Reinforcement Learning with Hierarchies of Machines Ronald Parr and Stuart Russell Computer Science Division, UC Berkeley, CA[removed]parr,russell @cs.berkeley.edu Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2012-05-29 14:54:19 Dynamic programming Stochastic control Reinforcement learning Markov decision process Q-learning Machine learning Finite-state machine Markov chain Algorithm Statistics Markov processes Markov models
107	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
108	Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation Chitta Baral Juraj Dzifcak Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-08-17 20:58:29 Formal methods Computability theory Models of computation Tuple Type theory Lambda calculus Combinatory logic HO Categorial grammar Mathematics Theoretical computer science Mathematical notation
109	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
110	Aspect-Oriented Development Using Protocol Modeling Ashley McNeile1 and Ella Roubtsova2 1 Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2010-05-16 13:32:29 UML diagrams Object-oriented programming Automata theory Digital electronics Theoretical computer science Finite-state machine Mixin UML state machine ECO Software engineering Models of computation Computing

UPDATE